Knihy od autora Amir Pnueli

Zobrazené 1 – 8 z 8 výsledkov

1. 

   Hybrid Systems: Computation and Control

   Freek Wiedijk, Oded Maler, Amir Pnueli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.97 €

   Zľava 7 %

   Ušetríte 8.63 €

   Kúpiť
2. 

   Temporal Verification of Reactive Systems

   Zohar Manna, Amir Pnueli | Springer, Berlin, 1995

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   102.97 €

   Zľava 7 %

   Ušetríte 8.63 €

   Kúpiť
3. 

   The Temporal Logic of Reactive and Concurrent Systems

   Zohar Manna, Amir Pnueli | Springer, Berlin, 2012

   
   

   Skladom u dodávateľa - Odosielame za 8 - 11 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.68 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
4. 

   Temporal Logic in Specification

   Benham Banieqbal, Howard Barringer, Amir Pnueli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.68 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
5. 

   Perspectives of Systems Informatics

   Amir Pnueli, Irina Virbitskaite, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.68 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
6. 

   Temporal Logic of Reactive and Concurrent Systems

   Zohar Manna, Amir Pnueli | Springer-Verlag New York Inc., 1991

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   113.29 €

   Zľava 7 %

   Ušetríte 9.43 €

   Kúpiť
7. 

   Temporal Verification of Reactive Systems

   Zohar Manna, Amir Pnueli | Springer-Verlag New York Inc., 2012

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   113.29 €

   Zľava 7 %

   Ušetríte 9.43 €

   Kúpiť
8. 

   Compositionality: The Significant Difference

   Hans Langmaack, Amir Pnueli, Willem-Paul De Roever | Springer, Berlin, 1998

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.97 €

   Zľava 7 %

   Ušetríte 8.63 €

   Kúpiť

Vracajúci sa zákazníci majú zľavy a ďalšie benefity. Zistite viac